open Syntax
open Binding

val show_expr_window :  context ->t_Expr->unit->unit